Suspending and resuming tasks in BDI agents

نویسندگان

  • John Thangarajah
  • James Harland
  • David N. Morley
  • Neil Yorke-Smith
چکیده

Intelligent agents designed to work in complex, dynamic environments must respond robustly and flexibly to environmental and circumstantial changes. An agent must be capable of deliberating about appropriate courses of action, which may include reprioritising goals, aborting particular tasks, or scheduling tasks in a particular order. This paper investigates the incorporation of a mechanism to suspend and reconsider tasks within a BDI-style architecture. Such an ability provides an agent designer greater flexibility to direct agent operation, and it offers a generic means for handling conflicts between tasks. We investigate conditions under which a goal or a plan may be suspended, the process for suspending it, and the appropriate behaviours upon resumption. We give an operational semantics for suspending tasks in terms of the abstract agent language CAN, thus providing a general mechanism that can be incorporated into any BDI-based agent programming language.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Operational Behaviour for Executing, Suspending, and Aborting Goals in BDI Agent Systems

Deliberation over and management of goals is a key aspect of an agent’s architecture. We consider the various types of goals studied in the literature, including performance, achievement, and maintenance goals. Focusing on BDI agents, we develop a detailed description of goal states (such as whether goals have been suspended or not) and a comprehensive suite of operations that may be applied to...

متن کامل

Persistent Fault-Tolerance for Divide-and-Conquer Applications on the Grid

Grid applications need to be fault tolerant, malleable, and migratable. In previous work, we have presented orphan saving, an efficient mechanism addressing these issues for divide-and-conquer applications. In this paper, we present a mechanism for writing partial results to checkpoint files, adding the capability to also tolerate the total loss of all processors, and to allow suspending and la...

متن کامل

A Note on the Period Enforcer Algorithm for Self-Suspending Tasks

The period enforcer algorithm for self-suspending real-time tasks is a technique for suppressing the “backto-back” scheduling penalty associated with deferred execution. Originally proposed in 1991, the algorithm has attracted renewed interest in recent years. This note revisits the algorithm in the light of recent developments in the analysis of self-suspending tasks, carefully re-examines and...

متن کامل

A Hybrid Connectionist and BDI Architecture for Modeling Embedded Rational Agents

In this paper, our ongoing work on a hybrid, connectionist and belief-desire-intention (BDI) based, ratiohal agent architecture is described. The architecture makes specific commitments in order to achieve a harmony among the tasks of reasoning and acting. The architecture uses a bottom-up learning strategy to acquire rules for reactive behavior. Embedded Agents: From Reactive to

متن کامل

Errata: Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks

In the paper "Timing Analysis of Fixed Priority Self-Suspending Sporadic Tasks" published in ECRTS 2015, a MILP formulation is provided to compute an upper-bound on the worst-case response time (WCRT) of one selfsuspending task running concurrently with a set of higher priority non-self-suspending tasks. Section VI of that paper extends the MILP formulation to the case where the higher priority...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2008